Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
931	IFTDO GLOBAL AWARDS Each year, the International Federation of Training and Development Organizations (IFTDO) recognize organizations that have created innovative and creative solutions for advancing HRD. The awards are Add to Reading List Source URL: www.iftdo.net Language: English - Date: 2012-12-08 03:13:57 Information technology management Failure Materials science Reliability engineering Software quality Survival analysis Program management Project manager Software development process Project management Management Science
932	Performance Measurement and Program Evaluation For Drug Courts Fred L. Cheesman II, Ph.D. The National Center for State Courts Add to Reading List Source URL: www.research2practice.org Language: English - Date: 2013-10-16 16:27:06 Health Drug court Drug rehabilitation Cost–benefit analysis Cost Business Evaluation Pharmacoeconomics Costs Welfare economics Health economics
933	Horizontal_Program_Sub-Brand(SC) Add to Reading List Source URL: www.atmos.washington.edu Language: English - Date: 2011-12-12 19:56:33 Variance Cloud Climate forcing Statistics Data analysis Probability theory
934	Microsoft Word - GTSPP_RT_QC_Manual_Draft_20090916.doc Add to Reading List Source URL: www.nodc.noaa.gov Language: English - Date: 2009-09-16 09:02:48 Data analysis Global Temperature-Salinity Profile Program National Oceanographic Data Center Data quality
935	Counterexample Guided Path Reduction for Static Program Analysis Ansgar Fehnker, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-11 06:46:59 Differential equation Function Mathematics Logarithms Substitution of variables
936	Value Analysis Frama-C’s value analysis plug-inBoron version Pascal Cuoq with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:53 Function Program analysis Software Mathematics Frama-C
937	Automorphic Representations, Shimura Varieties, and Motives. Ein M¨ archen* R.P. Langlands 1. Introduction. It had been my intention to survey the problems posed by the study of zetafunctions of Shimura varieties. But I Add to Reading List Source URL: www.sunsite.ubc.ca Language: English - Date: 2001-05-12 20:17:52 Conjectures Langlands program Representation theory of Lie groups Harmonic analysis Cuspidal representation Ramanujan–Petersson conjecture Representation theory Shimura variety Induced representation Abstract algebra Algebra Automorphic forms
938	Some Assembly Required - Program Analysis of Embedded System Code Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-10-07 01:51:34 Data types Procedural programming languages Program analysis Compiler construction Programming language implementation C Aliasing Type system Pointer Software engineering Computing Computer programming
939	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
940	Tutorial #7: LC Segmentation with Ratings-based Conjoint Data This tutorial shows how to use the Latent GOLD Choice program when the scale type of the dependent variable corresponds to a Rating as opposed to a Choice or Add to Reading List Source URL: www.statisticalinnovations.com Language: English - Date: 2012-06-19 13:26:21 Statistical methods Statistical models Actuarial science Statistics Econometrics Regression analysis

UPDATE